A Survey On Verification of Composed Web Services R.Rajeswari, et al,.
نویسندگان
چکیده
A Web services are proliferated because of its massive support and uses in the industries and research areas. Usages of the web services are unavoidable in the software industry for its reusability and interoperability. For more reusability, web services are integrated together to form the composition. Hence the compositions of web services are widely done and getting benefit from it. Various methods have been found out for composition and still it is enhancing. Apart from few methods such as Petrinets, stacked automata using SPIN tool, and UPPAL, correctness of the system is not verified. The state space explosion, correctness and the duplication of the non deterministic composed services are not verified. In this paper, a survey is made for the verification methods for the correctness of the composed web services. Index Terms --Web services composition, Petrinets, SPIN, UPPAL, state space explosion.
منابع مشابه
A model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملAutomatic QoS-aware Web Services Composition based on Set-Cover Problem
By definition, web-services composition works on developing merely optimum coordination among a number of available web-services to provide a new composed web-service intended to satisfy some users requirements for which a single web service is not (good) enough. In this article, the formulation of the automatic web-services composition is proposed as several set-cover problems and an approxima...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA verification strategy for web services composition using enhanced stacked automata model
Currently, Service-Oriented Architecture (SOA) is becoming the most popular software architecture of contemporary enterprise applications, and one crucial technique of its implementation is web services. Individual service offered by some service providers may symbolize limited business functionality; however, by composing individual services from different service providers, a composite servic...
متن کاملBeiträge zur Anforderungsanalyse im Rahmen der Entwicklung betrieblicher Anwendungssysteme aus Sicht der Wirtschaftsinformatik
Web service compositions coordinate Web services of different enterprises. They are expected to constitute the foundation of service-oriented architectures, to improve business processes as well as to foster intraand inter-organizational integration. Especially in inter-organizational contexts, quality of service referring to non-functional requirements and conformance to functional requirement...
متن کامل